First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
561	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Proof theory Mathematical constructivism Predicate logic Boolean algebra Propositional calculus First-order logic Intuitionistic logic Well-formed formula Sequent Logic Mathematical logic Mathematics
562	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein HOL Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Formal methods Predicate logic Functional languages Fixed-point combinator Id First-order logic Simply typed lambda calculus Isabelle Mathematical logic Logic Theoretical computer science
563	Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions∗ Chita Baral and Juraj Dzifcak Tran Cao Son Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2008-11-11 15:26:22 Predicate logic Formal languages Philosophical logic Lambda calculus Combinatory logic First-order logic Categorial grammar Function Quantification Logic Mathematical logic Mathematics
564	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Logic in computer science Proof theory Predicate logic Type theory First-order logic Sequent Isabelle Higher-order logic Logical framework Logic Mathematical logic Mathematics
565	PDF Document Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2015-01-17 12:41:52 Propositional calculus Boolean algebra Semantics Logical connectives Model theory Truth table Propositional variable Interpretation First-order logic Logic Mathematical logic Mathematics
566	A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:43:38 Functions and mappings Function Axiom schema of replacement First-order logic Equivalence relation Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Logic
567	PDF Document Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:23:29 Mathematical logic Binary tree Tree traversal Algorithm Null graph First-order logic Recursion Lookahead Function Mathematics Graph theory Theoretical computer science
568	PDF Document Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2013-03-27 17:14:52 Propositional calculus Semantics Logical syntax Propositional variable First-order logic Interpretation Function Atomic formula Well-formed formula Logic Mathematical logic Predicate logic
569	PDF Document Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Logic in computer science Automated theorem proving Formal methods Model theory Isabelle First-order logic KeY HOL Proof assistant Theoretical computer science Mathematical logic Mathematics
570	Markov Logic Networks Matthew Richardson ([removed]) and Pedro Domingos ([removed]) Department of Computer Science and Engineering, University of Washington, Seattle, WA[removed], U.S.A. Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-04-12 19:05:26 Predicate logic Model theory Artificial intelligence Theoretical computer science Markov logic network Interpretation First-order logic Markov chain Markov random field Logic Mathematical logic Mathematics

UPDATE